Nuprl Definition : rec_ind def
12,41
postcript
pdf
rec_ind(
A
;
x
,
y
.
B
(
x
;
y
)) is Primitive
latex
origin